recursive expression